简体版 繁體版 English
로그인 회원가입
도구

initial tableau 예문

예문모바일

  • In this case, the initial tableau is a single node labeled with the set to be proved satisfiable.